Frege - meaning and definition. What is Frege
Diclib.com
ChatGPT AI Dictionary
Enter a word or phrase in any language 👆
Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

What (who) is Frege - definition

GERMAN MATHEMATICIAN, LOGICIAN, PHILOSOPHER
Gotloeb Frege; Gotlob Frege; Friedrich Ludwig Gottlob Frege; GFrege; G. Frege; Gottlob frege; Fregean; Foundations of Aritmetic; Gottloeb Frege; Gottlob Friedrich Ludwig Frege; The Basic Laws of Arithmetic; Gottleb Frege; Julius Caesar problem; Frege
  • Title page to ''Begriffsschrift'' (1879)
  • 1905}}

Gottlob Frege         
<person, history, philosophy, mathematics, logic, theory> (1848-1925) A mathematician who put mathematics on a new and more solid foundation. He purged mathematics of mistaken, sloppy reasoning and the influence of Pythagoras. Mathematics was shown to be a subdivision of formal logic. [Where?] (1997-07-14)
Frege system         
  • Proof strengths of different systems.
Frege proof system
In proof complexity, a Frege system is a propositional proof system whose proofs are sequences of formulas derived using a finite set of sound and implicationally complete inference rules. Frege systems (more often known as Hilbert systems in general proof theory) are named after Gottlob Frege.
Frege–Church ontology         
The Frege-Church Ontology; Frege Church ontology; The Church-Frege Ontology; Paradox of the name relationship; Church frege ontology; Church Frege ontology; Frege-Church ontology; Paradox of the name relation; Intentional context; Frege church ontology; Church-Frege ontology
The Frege–Church ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense).

Wikipedia

Gottlob Frege

Friedrich Ludwig Gottlob Frege (; German: [ˈɡɔtloːp ˈfreːɡə]; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever.

His contributions include the development of modern logic in the Begriffsschrift and work in the foundations of mathematics. His book the Foundations of Arithmetic is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical papers "On Sense and Reference" and "The Thought" are also widely cited. The former argues for two different types of meaning and descriptivism. In Foundations and "The Thought", Frege argues for Platonism against psychologism or formalism, concerning numbers and propositions respectively. Russell's paradox undermined the logicist project by showing Frege's Basic Law V in the Foundations to be false.